In the first place, it is evident that a type is material and external, and the fulfilment of the type is spiritual and internal; what the type reveals to the bodily eye, its fulfilment must reveal to the eye of faith alone, or it is not really a fulfilment. I must prove that by illustration. By many miracles the Jewish people came in a bodily manner out of the bodily land of Egypt, as is written in the book of Exodus [Ex. 13:18 ff.]. This type does not mean that we, too, shall in a bodily manner come out of Egypt, but that our souls by a right faith shall come forth from sins and the spiritual power of the devil; so that the bodily assembly of the Jewish people signifies the spiritual and internal assembly of the Christian people in faith. Thus, as they drank water from a bodily rock, and ate bodily manna with the bodily mouth, so with the mouth of the heart we drink and eat of the spiritual Rock, the Lord Christ, when we believe in Him [1 Cor. 10:3]. Again, Moses set a serpent on a pole, and whosoever looked upon it was made whole [Num. 21:8]. That signifies Christ on the Cross; whosoever believeth in Him, is saved. And so throughout the entire Old Testament, all the bodily, visible things in it signify in the New Testament spiritual and inward things, which one cannot see, but possesses only in faith. St. Augustine understood the types in this manner, when he says[49] on John iii, "This is the difference between the type and its fulfilment: the type gave temporal goods and life, but the fulfilment gives spiritual and eternal life." [John 3:14] Now the outward show of Roman power can give neither temporal nor eternal life, and therefore it is not only no fulfilment of the type of Aaron, but far less than the type, for that was established by divine direction. For if the papacy could give either eternal or temporal life, all the popes would be saved and be in good health. But he who has Christ and the spiritual Church, is truly saved and has the fulfilment of the type, yet only in faith. And since the pope's external show and the oneness of his Church can be seen with the eyes, and we all see it, it is not possible that he can be the fulfilment of any type. For the fulfilment of types must not be seen, but believed. [Sidenote: The High-Priest Not a Type of the Pope]