"Everything that happens in the Old Testament is a "type" or adumbration of something that happens in the New Testament, and the whole subject is therefore called typology, though it is a typology in a special sense."