System development

• violated pre-condition -- bug in client
• violated post-condition -- bug in supplier

A pre-condition limits the cases that a supplier must handle!