If x is identical to y under sortal F but not under sortal G, then x and y really differ in some pro...
This proposition has not been edited since the history system was added.