Syntax: Well-Formed Formulas | Skills Pool