I think I need a primer on revision, zedtokens, consistency guarantees. - Is a revision simply a timestamp, or it is a monotonic sequence number. - When you say spicedb chooses a revision, is it a globally significant revision number? Does it rely on datastore capabilities to do this atomically? If such a primer is available, I'd be happy to read it first. Wasn't able to find something at this level of detail.