[chubot]

Remainder goes with division, and respects invariants

Modulus doesn’t. I believe that algebraically equality module N can exist without division