Refactor InternFormula