Ruebell Proofs