Analogy of automated reasoning | lit.salon