FOL-4.pdf