Mathematical problem solving by analogy.
Analogical mapping by constraint satisfaction