Jim Wilson 059-formal proofsJim Wilson 070-formal proofsJim Wilson 077-formal proofsJim Wilson 089-formal proofsJim Wilson 093-casual proofsJim Wilson 095-casual proofsJim Wilson 099-casual proofsJim Wilson 105-casual proofs