Formal Analogy (OF), 2010