Hey you! Yes, you! Thank you for adding beauty to the world!
Definitions of FOL:
noun: (logic) Initialism of first-order logic. [(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.]