Constraint-based system example