Title: Abstraction for Coloring