completed constraint removal