Can we color the vertices of a planar graph with four colors such that no two adjacent vertices have the same color?

Moving beyond the plane into tori and higher-genus surfaces.

Some notable features of the solution manual include: