[barrister]

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

[barrister]

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