 This suffers exactly the inadequacy described above.Extending the analogy, however, if "trying" to reduce a term to its normal form would give "in the limit" an infinitely long lambda term (if such a thing existed), that object could be considered this result.No such term exists in the lambda calculus, of course, and so Böhm trees are the objects used in this place.