added shorter formulas