Title: Discovering Additional Mathematics