Proof by deduction | IB Math AASL | Perplex