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