Jim McCarthy 060-formal proofsJim McCarthy 068-formal proofsJim McCarthy 069-formal proofsJim McCarthy 081-formal proofsJim McCarthy 095-casual proofsJim McCarthy 097-casual proofsJim McCarthy 099-casual proofsJim McCarthy 103-casual proofs