Motivation

• Implementaiton inheritance and interface inheritance
• Inheritance anomalies and substitution anomalies
• To avoid substitution anomalies/Behavioral compatibilities
• Problems of guards