Some disjunctions gain epistemic force through constraint elimination alone; knowing what's *not* tr...
This proposition has not been edited since the history system was added.