Neuroscientific Foundations of InsightMath