Contract

sys:contract

Formal specification of expected behavior.