I can't help but indulge a bit and now ask whether or not we can't​ extract a common pattern from the two representations of mathematical cognition offered by yourself and GP. :-)