Tim and Emily Proofs - KPIC