3.3.1 Abstract Data Model

See section 3.1.1.