Ian FinalIan P Proofs