constraints were update, to be re-checked