An infinite descent into pure mathematics