Text this: The Heawood map-coloring problem :