lecture 22 consistency and synchronization 788500