Well-formed formulae