Arithmetical Reasoning