https://thelogictutorial.blogspot.com/2024/05/well-formed-formulas-of-predicate-logic.html