How Many Formulas Are In Algebra