FOL-Lens 1