The law of excluded middle ('A or not-A') can be supertrue without either disjunct being true, prese...
This proposition has not been edited since the history system was added.