let
before_overlap is_strong a b =
until is_strong (not_ b) a