Of the total-coloring conjecture, list coloring conjecture, the EFL conjecture, and the Hardwiger conjecture, by Jan 1, 2042, either a triplet of them shown to imply the other, or one of them shown to be undecidable.

Created by JoshuaZ on 2015-08-15; known on 2042-01-01

Please log in to respond to or judge prediction