3.4.1 Abstract Data Model

See section 3.2.1.