Belle Proofs