2009-2020 Proof Sets