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