We often attribute 'understanding' and other cognitive predicates by metaphor and analogy to cars adding machines and other artifacts but nothing is proved by such attributions.

A mathematician is a person who can find analogies between theorems a better mathematician is one who can see analogies between proofs and the best mathematician can notice analogies between theories.