Abstract properties like 'being-a-perfect-number' belong to 7, yet exist independently of whether 7 ...
This proposition has not been edited since the history system was added.