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.
The source of this document is in MultiprojectiveVarieties.m2:3188:0.