Checking for being well-formed formulas.