Text this: Constraint handling rules :