Spanner\'s TrueTime API claims to be necessary for strong consistency and very high availability is achieved. I wonder if the same level of consistency and availability can