Proofs and samples