one more constraint gone