4. As a matter of course, therefore, these things were done beforehand in a type, and from them was the tabernacle of God constructed; those persons justly receiving them, as I have shown, while we were pointed out beforehand in them,—[we] who should afterwards serve God by the things of others. For the whole exodus of the people out of Egypt, which took place under divine guidance, was a type and image of the exodus of the church which should take place from among the Gentiles; and for this cause He leads it out at last from this world into His own inheritance, which Moses the servant of God did not [bestow], but which Jesus the Son of God shall give for an inheritance. And if any one will devote a close attention to those things which are stated by the prophets with regard to the [time of the] end, and those which John the disciple of the Lord saw in the Apocalypse, he will find that the nations [are to] receive the same plagues universally, as Egypt then did particularly.