Presupposition failure (non-reference) can be treated uniformly as truth-value gaps rather than vari...
This proposition has not been edited since the history system was added.