add ((to)); supplement ((A with B))