Claiming 'no further constraints' is substantive only if prior uncertainty existed; if this relation...
This proposition has not been edited since the history system was added.