add mavis to formulas

done ;)