*No mixing of formulas*