Arithmatical Reasoning