Shibas Proofs