Picking Some Nits

10 mod 7 = 3

vs.

10 = 3 (mod 7)

i  believe the former is explicitly correct and the latter is misleading and less correct.

because 3 (mod 7) doesn't necessarily equal 10.