Logical identity requires that X cannot both be constitutive of A's nature and be freely chosen by A...
This proposition has not been edited since the history system was added.