Title: Formulas for Dynamic Analysis