promise, picture, proof, and push