vaughtian pairs defn