Footnote

The tag representing false is equivalent to evaluation failing, and clauses are not asserted with this tag. However, this tag is used for other purposes, such as representing no conflicting assumptions.