Proofs of Emptiness