What's the trend around external vs. eventual consistency at Facebook? I ask this comparing eventual consistency in TOA and Google's shift towards external consistency in Spanner.