A counterfactual statement follows this form:

*“If Squall had not told Edea about Balamb Garden, then Cid would have established it anyway.”*

This reasoning relies on an alternate reality where Cid Kramer establishes Balamb Garden contrary to the fact. But there’s an epistemic gap in this analysis, such as how can we know this?

#### For example:

**True propositions**are true in the actual world. For example: “Future Squall gave Edea the idea for SeeDs and Balamb Garden”.**False propositions**are false in the actual world. For example: “Past Squall gave Edea the idea for SeeDs and Balamb Garden”.**Possible propositions**are true in at least one possible world. For example: “Cid did gave Edea for SeeDs and Balamb Garden”. This includes propositions which are necessarily true, in the sense below.**Impossible propositions**(or necessarily false propositions) are true in no possible world. For example: “Future Squall and Past Squall are taller than each other at the same time”.**Necessarily true propositions**(necessary propositions) are true in all possible worlds. For example: “all magic derives from the elements”.**Contingent propositions**are those that are true in some possible worlds and false in others. For example: “Squall gave Edea the idea for SeeDs and Balamb Garden” is contingently true. “Cid did gave Edea for SeeDs and Balamb Garden” is contingently false.

#### Whereas:

**possible**if and only if it is not necessarily false (regardless of whether it is actually true or actually false);**necessary**if and only if it is not possibly false; and**contingent**if and only if it is not necessarily false and not necessarily true (i.e. possible but not necessarily true);**impossible**if and only if it is not possibly true (i.e. false and necessarily false).

Squall, Cid, and Edea could not examine these claims corresponding to their reality. However, Ultimecia could. She was able to condense all streams of time into a single possible world. She could know Balamb students would defeat the sorceress. Time condenses in the possible world that would actually cause a time loop. But since all-time condenses into one possible world can possible worlds exist? Or is it that all possible worlds lead to one timeline?