Update exactly_once_semantics.md