Consistency, Availability, and Time - Andres Jaan Tack