Footnote
Except by the assumption manager, which can retract clauses which depend on assumptions that turn out to be false, as described in
Section 5
.