We are essentially on the same page - maybe a different paragraph.
We agree here "saying something like 'collection == PID' (i.e., a
collection is a PID) is *weird *because the object and the identifier are *not
*the same kinds of things and don't possess the same properties and so are
fundamentally, formally not identical to one another. "
>My point is that identifiers really aren't any different than names,
labels, or what ever you call them.
They are, I would say, of the same KIND. But there are differences in