https://www.jsylvest.com/blog/2013/07/knuth-on-tools/