Well-formed formulas