What’s the Difference Between Types and Analogies? — John Piper