Pair Residue Mask Nat Bool eq