1.3 Mathematical Reasoning