this brings a smile to Knuth's face