Text this: Towards an Arithmetical Logic