07 Tori Johnson Insco Proofs