some testing formulae