Text this: Arithmetical abstractions ;