Tobias_Baumann comments on My current thoughts on MIRI’s “highly reliable agent design” work