If Forms F1 and F2 are both identical with essence E, then F1=F2 by transitivity of identity, elimin...
This proposition has not been edited since the history system was added.