Logical truths like 'p or not-p' hold regardless of what p refers to, demonstrating interpretation-i...
This proposition has not been edited since the history system was added.