Add omitted concurrency guarantees.