D: constraint-mapping