Wanda-Proofs