Instead, we opt to ensure both terms improve as our method proceeds.
we are not comparing the pruning and relevance terms directly (only ensuring mutual progress), and so we optimize simpler quantities monotonic in the two terms instead: p(s) for pruning and p(y|s) for relevance.