Efficiently four-coloring planar graphs | Synapse