The only thing I'd take out of your comment is "all providing strong guarantees". I'd say that if you document that it does provide those guarantees that it dam

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