be used and reused in dynamically varying contexts. In DbC, classes have
executable preconditions, post-conditions, and invariants. Exceptions are
raised when any of these predicates are violated in an execution. In principle,
some assurance of correct behavior is provided by incomplete contracts. DbC