Could you expand on that? It's not minimal but it states axioms and defines an interpreter for itself on top of them which sounds universal. Lambda is dubious

Could you expand on that? It's not minimal but it states axioms and defines an interpreter for itself on top of them which sounds universal. Lambda is dubious as a 'minimal' primitive in lisp as it embeds an implicit call to eval and implies more of them at the call site