add mavis to formulas