KPA 2013 Proofs