Reformulating the map color theorem

This paper discusses reformulations of the problem of coloring plane maps with four colors. We include discussion of the Eliahou-Kryuchkov conjecture, the Penrose formula, the vector cross-product formulation and the reformulations in terms of formations and factorizations due to G. Spencer-Brown.