Input (grade 7): because both numbers, when divided by 12, have the same remainder (2).
Output (grade 9): For example, 19 modulo 12 is the remainder when 19 is subtracted by 12.