Unit universals need not be decomposable: treating them as atomic primitives avoids regress without ...
This proposition has not been edited since the history system was added.