@xiangli-cmu I gotcha. Why are we using a monotonically incrementing `CurrentIndex` instead of using the Raft index?