The cognitive basis of mathematical knowledge.