added missing constraints