Well-formed formula