The Future of Formal Thought Research: The Study of Analogy and Metaphor