@knuth activity