"Well, it's not boring at all. You see, in higher-order mathematics..."