Another way to phrase this is that guarantees can impose constraints that are overly limiting.

Having said that, the parallel with ML seems to be bit of a stretch. What exact high level guarantee is given up by being probabilistic?