Sortal relativization creates regress: if 'a = b as Fs' is true, we need sortal-free identity to exp...
This proposition has not been edited since the history system was added.