Canaa and Eden Proofs