An integrated theory of the mind
sources of mathematical thinking : behavioral and brain - imaging evidence .