  The challenge posed by the Ramification Problem (characterized first in  Finger 1987)  is to formalize the indirect consequences of actions, where “indirect” effects are not  delayed,[31]  but are temporally immediate but causally derivative. If one walks into a room, the direct effect is that one is now in the room. There are also many indirect effects: for instance, that one’s shirt also is now in the room.