Exercise of the muscles keeps the body in health, and exercise of the brain brings peace of mind.