Exactly-Once Semantics