  This difference, of course, is inspired by the intended use of the Situation Calculus: it is meant to formalize Simon’s representation of the planning problem, in which a single agent reasons about the scenarios in which a series of actions is  performed.[24]  In this model, what drives change is the performance of actions, so the fundamental model theoretic relation is the relation