Proof by pointing

http://logitext.mit.edu/logitext.fcgi/main
https://github.com/ezyang/logitext/blob/master/doc/report.pdf