Building a universe one brick at a time, on a foundation of indisputable facts, Knuth is the methodological successor of Euclid and Aquinas.