Footnote

Infinite cycles must be avoided in which assumptions repeatedly change validity from true to false and back again. To break such cycles, if an assumption's conflicting assumptions change validity from true to false, the assumption's validity becomes unknown.