C::A Pre. Inheritance

• If a pre. fails, only the parent is checked
• Child and parent failure means input was bad
• If child fails but parent passes, there's a hierarchy problem