Formulas and their application to life