Inferring 'a and b share sortal G' from bare 'a = b' assumes the identity relation itself is sortal-...
This proposition has not been edited since the history system was added.