Spatial parts and contact relations are independently needed for topology; denying them elsewhere do...
This proposition has not been edited since the history system was added.