notes on eventual consistency