a correspondence is created when we reach overlapping goals in the p and
q versions