Constraints
lAPIs must enforce domain validity
lPreconditions
lPostconditions
lClass invariants
lSystem invariants