1.13.1 Modulus-argument form