Added the concept of design by contract.