Title: The anatomy of mathematics