The Iterated Tenses Problem

Im: What does it mean to say, am, that something will be the case on this model? The problem here was presuming originally that the definition was a. But now you introduce counteractual futures, we e gain have to the definition of what it means for p to happen. It seems like it that at that moment you leave the actual world,. unless you're back to presupposing some type of ontological reality for branching time again.