Contracts

• Objects and functions
• An agreement between components:
• Client requires a certain given input
• Client ensures a certain output