Add Identity Formulas