Willow's Proofs