FOL lecture session