Virtual Formulas