Proof [electronic resource]