redundant reading
next constraint vertex + checker for valid graph coloring