FOL.pdf