Constraint by composition