Howard Crosby argues that many biblical prophecies have a 'double sense'—a literal, historical meaning and a broader typological or spiritual fulfillment. He contrasts literalists and tropists with OT/NT examples.