In this section, you walk through two examples. One defines a new class of constraints, using demons to propagate modifications. The other example defines a class of constraint exploiting iterators. Both examples begin by designing a model for the semantics of the constraint involved. That step of defining a model for the semantics is crucial when you find it necessary to define a class of constraints yourself.