Professors should be careful to choose definitely undecidable problems to joke around with, lest they encounter a George Dantzig character.