How Many Formulas Are There