make current data model assumptions explicit, set notational groundwork for
incorporation of data models
Make notation more consistent
Docupdate