add contraint