testing a formula