Indeed it doesn&#x27;t promise it. But in practice it&#x27;s very good at it - the reason they have to put that note in there is because if you made a program whose correctness depended on it, it would be a long time before you saw the bug.