let
until_overlap is_strong a b =
until is_strong a (and_ a b)