A3: Formulae, identities, and mathematical proof