Peyton - FinalPeyton - Proofs