Scott's 2010 Proof Set