Scott's 2009 Proof Set