Trivial validity doesn't entail unsoundness; some arguments validly move from definitions to true co...
This proposition has not been edited since the history system was added.