Thinking further about the logic stuff from a couple of days ago, realize that I definitely need a possibility modality that acts as if time is linear.