Only properties with intrinsic, unified natures can ground the determinate specifications that deter...
This proposition has not been edited since the history system was added.