[Sidenote: Type and Fulfillment]
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]
Now see—are they not skilful masters who make the high-priest of the Old Testament to be a type of the pope, when the latter makes as much, nay more of an external show than the former, and thus a bodily thing is made to be the fulfilment of a bodily type! That would mean that type and fulfilment are exactly alike. But if this type is to stand, the new high-priest must be spiritual, and his graces and adornment likewise spiritual. The prophets also saw this when they said of us, Psalm cxxxii, "Thy priests shall be clothed with faith or righteousness, and Thine anointed ones shall be adorned with joy." [Ps. 132:9] As if he would say: Our priests are types, and are clothed externally with silks and purples, but your priests shall be clothed with grace inwardly. Thus is this miserable Romanist routed with his "type," and his jumbling together of much Scripture has been in vain. For the pope is an external priest, and they think of him in his external power and adornment. Therefore Aaron cannot have been a type of him; we must have another.
[Sidenote: Scriptural Types Interpreted in Scripture]
In the second place—in order that they may realize how far they are from the truth—even if they had been wise enough to give a spiritual fulfilment to the type, yet that would not stand the test, unless they had a clear passage from the Scriptures, which brought the type and its spiritual fulfilment together; otherwise every one could make out of it what he desired. For instance, that the serpent lifted up by Moses signifies Christ, is taught by John iii [John 3:14]. If it were not for that passage my reason might evolve very strange and weird fancies out of that type. Again, that Adam was a type of Christ, I learn not from myself, but from St. Paul in Romans v [Rom. 5:14]. Again, that the rock in the wilderness signifies Christ, is not so stated by my reason, but by St. Paul in I. Corinthians x. [1 Cor. 10:4] Therefore, let none other explain the type but the Holy Spirit Himself, Who has given the type and wrought the fulfilment, in order that both promise and performance, type and fulfilment, and the interpretation of both, may be God's own and not man's, and our faith be founded not on human, but on divine works and words.
What leads the Jews astray but that they interpret the types as they please, without the Scriptures? What has led so many heretics astray but the interpretation of the types without reference to the Scriptures? And though the pope were something spiritual, yet even then it would count for nothing if I made Aaron to be his type, unless I could point to a passage where it is explicitly stated: Behold, Aaron was a type of the pope. Otherwise who could prevent me from assuming that Aaron was a type of the bishop of Prague? St. Augustine has stated that types are not valid in controversy unless supported by the Scriptures.[50]
But now this poor chatterbox has neither: no spiritual, inward high-priest and no passage of the Scriptures; he goes at it blindly with his own dreams, and assumes as his basis that Aaron was the type of St. Peter, the very thing which is in greatest need of foundation and proof, and he just goes on prattling that the law must be fulfilled and not one iota omitted. My dear Romanist, who has ever doubted that the law of the Old Testament and its types must be fulfilled in the New? There was no need of your scholarship to establish that. But here you might make a great show and demonstrate by your ingenuity that this fulfilment occurs in Peter or in the pope. You are as mute as a stick when it is time to speak out, and a chatterbox when speech is unnecessary. Have you not learned your logic better than that? You argue your major premises, which no one questions, and assume the correctness of your minor premises, which every one questions, and then you draw the conclusion to suit yourself.
[Sidenote: A Lesson in Logic]