Whether a value was supplied by the reader, and whether it holds without that.
true iff the reader supplied true or false. An explicit unknown is a decision, not an assertion.
true
false
true iff the value still holds once the reader's own assertion is withheld and closure is recomputed.
Whether a value was supplied by the reader, and whether it holds without that.