Orth.—Yet the divine Apostle says that the narratives are types. Hagar is called a type of the old covenant; Sarah is likened to the heavenly Jerusalem; Ishmael is a type of Israel, and Isaac of the new people. So you must accuse the loud trumpet of the Spirit for giving its enigmas for us all.