In practice, are there maybe a few problems for which this guarantee unlocks a big performance speedup? How might this be used practically?