This usage example looks backwards. I don't think it should be based on a `ConstraintDefinition` at all.