- Declaratively creating the sut when there are constraints on properties.