Proof by David Auburn 2015