P(YX = x1 = yʹ | X = x), where the machine observes an event X = x but not the outcome Y, and then asks for the outcome under an alternative event X = xʹ. If it can compute this quantity, the machine can treat its intended action as an observed event (X = x) and ask, “What if I change my mind and do X = xʹ instead?”
