Subsections:
Abstraction and representation
Correspondence