“…Two points (G 0 , G 1 ) Fig. 6, the endpoint closest to the origin of the bottommost constraint lines in each quadrant are (3, 1), (14,1), (3,12), and (14,12), which are congruent because 3 = 14 mod 11 and 1 = 12 mod 11. Congruence captures the intuitive ideas that one quadrant can be laid on top of another, and all constraint lines in the two quadrants will be in identical positions.…”