Mathematical Reasoning and Heuristics