where are the proofs?