C::A Post. Inheritance

• Parent contracts are always checked
• If both or only child fails, it's the child's implementation
• If just the parent fails, there's a hierarchy problem