Re: [math-fun] Tightly coloring K_n?