Start defining the coloring step and roughly state required theorems