Celene proofs