: Formulas and logical shortcuts for commercial arithmetic.