A static theory of promises