New: proofs