s0s2-Lazy coloring still counts as coloring, right?