Email Record: The four-color problem.