Scott's 2012 Proof Set