It is important to note that we are using submodularity as a "model" of the selection process, and the submodular objective acts as a surrogate for the actual SMT objective function.
the mathematical guarantee we have is in terms of the surrogate objective rather than the true SMT objective.