Spanner, TrueTime and the CAP Theorem (static.googleusercontent.com)