Goodman's type-token distinction requires extensional identity criteria to avoid circular intensiona...
This proposition has not been edited since the history system was added.