Cons-Id Constraint