Added new formulae to tests.