No matches were found for subject:"\[ProofPower\] Check for normal Z terms when printing\?"