Some formally valid arguments in first-order logic fail truth-preservation when quantifiers range ov...
This proposition has not been edited since the history system was added.