The claim requires that tenses function as quantifiers, but natural language tenses appear to mark t...
This proposition has not been edited since the history system was added.