 However, it is not obvious that a redex will produce the II term.Identifying the structures that are similar in different parts of a lambda term can involve a complex algorithm and can possibly have a complexity equal to the history of the reduction itself.While Lévy defines the notion of optimal sharing, he does not provide an algorithm to do it.