FOL GJ2.E.4