A quiz for identifying Well-Formed Formulas (WFFs) and applying recursive grammar rules to symbolic strings.