Chris_Leong comments on MIRI/​OP exchange about decision theory