Title: Discovering mathematics