Abstract :
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.