Bare identity 'a = b' can be true in any sortal-relative framework if a and b pick out the same enti...
This proposition has not been edited since the history system was added.