well-formed formulae