Canaa Proofs