FOL lecture