Title: Discovery in mathematics