Jerry den Hartog tijdens het college Introduction to computer security (in Enschede):
"...is there anyone who knows typed lambda calculus?"
-Een aantal studenten knikken bevestigend.
"Good... Anyone who doesn't know typed lambda calculus?"
-Wederom wordt er geknikt.
"Even better. You don't want to read that as a human."
Visit the infima archive (in Dutch) or send in an infima (in Dutch).