Central premises III and IV: from last week
The semantics of the module must remain unchanged when implementations are replaced
- Specifically, the client should not care how the interface is implemented by the module
One implementation can satisfy multiple clients
- Different clients of the same interface that need different implementations would be counter to the principle of information hiding
- Clients should not care about implementations, as long as they satisfy the interface