Danelle's Proofs