Scott's 2008 Proof Set