Abstraction for Coloring