Philipp Legner - How to discover mathematics