4.7 逻辑结论的消耗：《伊纪杜尔》