Create IFormula.java