3.10.1 Abstract Data Model

All necessary state information is described in section 3.1.1.