http://smlnj.cs.uchicago.edu/dist/working/110.44/
