defn of overapproximate potential matches