P7's derivation depends on precise mereological relations that equivocation on 'in' systematically o...
This proposition has not been edited since the history system was added.