let
next_event is_strong a b =
until is_strong (not_ a) (and_ a b)