Redirecting to Total coloring