1.4 Mathematical Reasoning