The length-one chain result could derive from other formal frameworks (mereology, modal logic) not r...
This proposition has not been edited since the history system was added.