FOL-EF.pdf