BUTTERFLY PROOFS