ANN: Proofs