Does this actually give you any insight into lambda calculus?