Formal algebra as book keeping