Take a pyramid of hexagonal cells colored red, yellow, or green, with one rule: every cell together with the two directly below it must be either all the same color or all different. Now encode the colors as 0, 1, 2 modulo 3. The rule becomes simply a + b + c = 0 (mod 3). For