proj-oot-ootConstraintLogic

---

the axis of hypothetical: from the point of view of the necessary, the actual is hypothetical. from the point of view of the hypothetical, the actual is necessary. This induces a tree of hypothetical; from any node of the tree, you can create a child by choosing any proposition such that the negation of that proposition is not necessary in the parent node, and hypothetical consider the world in which that proposition is taken as given, in addition to everything which is necessary in the parent node.