Formulae for our own tools