Some semantic properties may be fundamentally non-bivalent; negating a true contradiction yields ano...
This proposition has not been edited since the history system was added.