Proving a promise.