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