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