Proof over promises.