DaMona's Proofs