new post: consistency of lambda calculus