Phi <==> Psi
For example, if you have calculated the degree of the two maps before, it will be checked that it is the same for both.