A UML semantic relationship between a classifier that specifies a contract and another classifier that guarantees to carry it out.
[Handout by Mr. David Gillibrand].