Martin Luther is not esoteric. What is esoteric is the "y combinator". For example, I doubt you can define it offhand nor derive it.

I meant define or derive the "y combinator", obviously.