KPA 2008 Proofs