originalValue (not done) and 4-coloring correction