Notation is in the data repository. Exposition is for understanding.