saturn comments on Example decision theory problem: “Agent simulates predictor”