We can acknowledge categorical differences without treating 'exists' as systematically ambiguous—ord...
This proposition has not been edited since the history system was added.