Are All Formulas Functions