All new items that we deduce involve at least one of the agenda items as an antecedent item.
whenever an item is the best in the agenda, we can be sure that we will never find an item with a better (i.e., higher) weight.