https://www.agodman.com/the-new-jerusalem-is-the-reflection-and-consummation-of-the-type-in-the-garden-of-eden/