⁴See http://www.cs.utk.edu/ shuford/terminal/volker_craig_news.txt.