The Pragmatic Programmer

by Andy Hunt

If all the routine's preconditions are met by the caller, the routine shall guarantee that all postconditions and invariants will be true when it completes.