Footnote

A further optimisation is possible by only causing the enclosers (rules and/or assumable clauses) in which the contexts were encountered to attempt to fire. If there are any other dependents, they cannot be affected.