Equality Statements As Rules For Transforming Arithmetic Notation