·	Example: Recursive Constraint