I think the most underrated part is: "untyped lambda calculus is harder"