[manigandham]

The only important line, which means it's a CP system:

> Even then outages will occur, in which case Spanner chooses consistency over availability.