Allowing symbolic reference to substitute for compliance treats abstract intensional properties as o...
This proposition has not been edited since the history system was added.