94. Calculations by reasoning