Anthony proofs