  We give a new proof of the four-color theorem by exhibiting an unavoidable
set of 2822 D-reducible configurations. The existence of such a set had been
conjectured by several researchers including Stromquist, Appel and Haken, and
Robertson, Sanders, Seymour and Thomas.
