john knuth

[]'=;