How Does Exodus Ground Messianic Hope?