Notes of a friend summarizing a lecture by Richard Barcellos

1. A type is a historical person, place, institution, or event that was designed by God to point to a future historical person, place, institution, or event.
2. That to which types point is always greater than the type itself—there is escalation from type to anti-type.
3. Types are both like and unlike their anti-types. There is both correspondence and escalation. (Adam is both like, and UNLIKE Christ in different ways)
4. Anti-types tell us more about how their types function as types.
5. Types are not their anti-types. Nor are types, as types, of the essence/substance of their anti-types.