The claim conflates informal 'witness requirement' with formal logical equivalence; both formulas ex...
This proposition has not been edited since the history system was added.