3 ms·Names and identity are different. In particular names only need to be locally meaningful.by contravariant 6y agoNames and identity are different. In particular names only need to be locally meaningful.