Title: Experiences in mathematical discovery