It doesn't have any happens before relationship with a later write. It is for optimistic read locks base on a sequence counter. If the counter hasn't changed, then there is no guarantee that that happens-before the counter was incremented.