Ballet 4 Proofs