ESRogs comments on MIRI/​OP exchange about decision theory