Well-formed formulas

Summary