SQL

SELECT girl
FROM internet
WHERE age > 18
  AND age < 20
ORDER BY beauty
LIMIT 1,10

>>40
Now I realized that classical two valued logic is enough to prove it.

Let COL(x) mean "x is a closure or a lambda", and U(x) mean "x is useful". We all know that cloures or lambdas are useful, so the implication "∀x.COL(x) → U(x)" is trivial. If, however, x is not closure of lambda, the implication still holds, because ex falso quod libet.