reformat for lambda calculus