The Total Coloring Conjecture holds for planar graphs without three special subgraphs | Synapse