Here, we propose ideal lenient default unifica-tion, which tries to maximize the amount of information of a result, not the amount of default information.
the problem of losing a large amount of information in structure-sharing never arises.