KPA 2011 Proofs