removed the horrible horrible syntax in vertex_coloring