Something does as it says. In Eiffel speak: DesignByContract. ---- See also DoesWhatItSaysOnTheTin