Some graphs need three colors but have no triangle. — Synthesis