Total coloring conjecture