See attachment for the proof of correctness written for Zab (ZooKeeper Atomic Broadcast)