Ian FinalsIan Proofs