The mathematical brain at rest. (February 2023)