A logical failure appearing only under non-standard semantics may reveal genuine limitations of stan...
This proposition has not been edited since the history system was added.