through some vaughtian pair stuff