Is Complex Analysis the Key to Lean?

Do you feel tempted to look at some of your old results and figure out what it takes to len fy them? So, ah, yes and no. I think at the moment, any attempt to lean doesn't have right now is complex analysis. And this is like cutting edge research in the most abstract sense. People haven't done it, but but people should. Ah, i have ideas about how to do it. You would need that. You would need some fore analysis. For me to be able to start even stating my theorems....