updated unnecessary constraints