Chip's Proofs