The only thing I&#x27;d take out of your comment is &quot;all providing strong guarantees&quot;. I&#x27;d say that if you document that it does provide those guarantees that it damn well better do that (modulo bugs of course).