If truth-conditions prove insufficient for some semantic phenomena, frameworks extending the machine...
This proposition has not been edited since the history system was added.