OJQ "FOL" 1