If 'Hesperus' and 'Phosphorus' differ in sense whenever substitution fails, we multiply senses beyon...
This proposition has not been edited since the history system was added.