Add test for formula.