Addition of many formulae.