Powell & Leon - Proofs