Ellis Proofs