Component

substitutability

slide: Definitions