Used to check for Well-Formed Formulas