Proof Sets 1999-2008