Removing unnecessary constraints