KCAE.SEARCH:9 - Consequences
Search becomes a sequence of intelligible contributions to work. It may end earlier with a sufficient result or continue farther when a different route has real value. The method preserves uncertainty and cannot guarantee that the next unexamined source would add nothing.