More constraint satisfaction reading