removed redundant constraints