But standard update is not: it is possible that at the end of search, the best y-good derivation d + |x| (x, y), though pruned earlier in the search, ranks even higher in the current model than anything in the final bin (see Figure 4).
there is no mistake at the final step, while there must be some search error in earlier steps which expels the y-good subderivation.