Even direct reference theories require some identifying condition; purely semantic distinctions don'...
This proposition has not been edited since the history system was added.