Back Arithmetic