Both are const methods that can change value from the same events.

• We might think of other predicates.
• It could also allow us to encode constraints like doomed implying not converged.
• It may simplify testing.