Changed ColoringStrat one last final time, will discuss in class the new way it works.