Shanice Proofs