Test formulae