Refining a contract -- state responsibilities and obligations

Refining a method -- like improving a business contract


  class C : public P {
  	virtual void m();
  	}
  


slide: Contracts and inheritance