[manigandham]

Is that your own spin on the CAP theorem? Where does "performance" even come into the equation?

And CRDB is a CP system, just like Spanner.