Sure, but then why if: -13 \equiv 5 \pmod 3 it is the case that: > -13 % 3 === 5 % 3 false I think it's better to use a convention where for all a, b,

Sure, but then why if: -13 \equiv 5 \pmod 3 it is the case that: > -13 % 3 === 5 % 3 false I think it's better to use a convention where for all a, b, m, if a and b are congruent mod m, then a%m === b%m