A Philosophy of Software Design

by John Ousterhout

requirements the caller must satisfy before invoking the method.

This is a good point; especially when considering code written for a general object as input that may have a certain assumption regarding the state of that object.