redefined routine may lessen the obligation of the client, but not increase it. See also Design by contract Guard (computer science) Postcondition Hoare logic Invariants maintained by conditions Database trigger References Programming constructs Formal methods Logic in computer science