Skip to main content

Formal algebra as book keeping