Title: Analogy for automated reasoning