add test to mavis formula