Equational Arithmetic door W. Hipsley