Get rid of `coloring'; move `neq?'.