So8res comments on New paper from MIRI: “Toward idealized decision theory”