Ballet 3 Proofs