Restriction of contraint