(2) FOL