Fix up some wording.

Replace "modulo" with something less potentially confusing to programmers.
Remove an instance of "certainly" to relieve repetition.