3.9.1 Abstract Data Model

No data model is needed to maintain internal state.