McIlroy: Desnard's Theorem is a theorem that is just barely true.
Hartmanis: Is there a known use for it?
McIlroy: Yes! Putting the final chapter in geometry books.