commented out main in formula.class