This is an interesting topic, and that statement of yours that you dislike empirical thinking in mathematics was the part of the interview that intrigued me the most.