Content-free symbols cannot be assessed for logical goodness; 'P implies Q' means nothing evaluable ...
This proposition has not been edited since the history system was added.