Google Spanner Cap Theorem