Celestina Proofs