Discovering Mathematics