Without identity conditions, we cannot distinguish 'there exist two possible individuals' from 'ther...
This proposition has not been edited since the history system was added.