[deleted] comments on New paper from MIRI: “Toward idealized decision theory”