Where are the proofs?