Non-existent objects in modal logic consistently bear properties: a unicorn is necessarily single-ho...
This proposition has not been edited since the history system was added.