Four-color_conjecture loading ...