Every planar map is four colorable. Part II: Reducibility | Synapse