Try splitting into two formulas