Add base formulae