KPA 2009 Proofs