Proof Over Promises