Updated lambda calculus-based version