Find: a tiling of the plane (or half plane, or quadrant) in which colors match on adjacent edges.
Example: the plane can be tiled with a checkerboard of the two tile types above.
Theorem: one can model the behavior of cellular automata by Wang tiles.