Email Record: Arithmetical abstractions ;