Trivially shared properties depend on logical necessity, not intrinsic nature, so they should be exc...
This proposition has not been edited since the history system was added.