2014-06-08 Proof by pointing http://logitext.mit.edu/logitext.fcgi/main https://github.com/ezyang/logitext/blob/master/doc/report.pdf