Title: Activity and discovery in mathematics