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