Names in logic typically function as rigid designators whose reference exhausts their semantic contr...
This proposition has not been edited since the history system was added.