I think you should mention that it is best effort, messages can still be lost (as always), e.g. before receiving Terminated