Wheels replace the usual division with a applied to one argument formula_15 similar (but not identical) to the multiplicative inverse formula_16, such that formula_17 becomes shorthand for formula_18. Also, formula_19 replaces the fraction formula_20.