FOL2.pdf