Some properties are definitionally constitutive rather than contingent; removing them dissolves the ...
This proposition has not been edited since the history system was added.