Rigid designation requires a de re connection to the referent; sortally-constrained naming secures t...
This proposition has not been edited since the history system was added.