If essential identity grounds formal identity but not vice versa, then essential identity determines...
This proposition has not been edited since the history system was added.