InternFormulaTests