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