B. The exodus from Egypt—the Old Testament type par excellence of biblical redemption—by divine arrangement exhibited the same great salvific principles which governed Christ’s work of atonement, both in its accomplished and applied aspects, in the New Testament, thereby teaching the elect in Israel about salvation by grace through faith in the atoning work of Messiah’s mediation. As a major feature of the Old Testament ground for the truth that “everything that was written in the past was written