Identity and quantification operate at different logical levels; presupposing quantificational infra...
This proposition has not been edited since the history system was added.