[[redirect:Main/InconsistentColoring]]