FOL GJ4.E.4