Austin {2016} Proof Gallery