I was moved by the whole lot of people who contributed to Sorry Everybody website.

Questions for all Design By Contract practitioners - If my class ( E ) implements three interfaces (A, B & C) and extends class D, each with its own pre-conditions and post-conditions and some invariants. Class E also has few pre-conditions and post-conditions and some invariants.