Teorema CAP, consistência do tipo linearização. Vamos nos aprofundar um pouco mais sobre o que significa consistência para o Teorema CAP. O próprio Kleckman traz para a gente no seu artigo um exemplo do que é ou do que significa a gente falar de consistência do tipo linearização. Então, vamos compreender formalmente. Se nós temos duas operações, operação A e operação B. Se a operação B tiver sido iniciada após a conclusão com sucesso da operação A, então a operação B deverá ver no sistema o mesmo estado em que estava na conclusão da operação A ou em um estado mais recente, imaginando a operação Z. Vamos tentar trazer um exemplo mais prático. Esse diagrama do Kleffman é uma possibilidade de final da Copa do Mundo de 2014, se eu não me engano, Alemanha e Argentina. Quando o árbitro declara o final da partida com a Alemanha 1 e a Argentina 0, o nosso nó primário do banco de dados recebeu a inserção desta informação e replicou para a réplica número 1, o follower número 1, e então a Alice fez uma consulta no seu aplicativo para saber qual era o finalista da Copa do Mundo. Então para a Alice já apareceu aqui, Alemanha 1x0, campeã da Copa do Mundo. Naquele instante o Bob também fez essa consulta, logo em seguida que viu a Alice fazendo essa consulta do Mundo. Naquele instante, o BOP também fez essa consulta, logo em seguida que viu a Alice fazendo essa consulta no seu celular. Então, para o BOP receber, foi dada a mensagem de que a partida ainda não estava finalizada, porque a réplica número 2, que atende ao aplicativo do BOPE, recebeu essa replicação um tempo depois. Então, aqui a ideia de linearização tem a ver com isso. Operação B, se tivesse sido iniciada após a conclusão com êxito da operação A, então a operação B tem que ver o sistema, o estado mais recente. E o Bob claramente não recebeu isso. Então, este tema de linearização é o que representa consistência para o teorema CAP.