Given that Raft was rederived simply because the authors couldn’t originally understand Paxos, I’m not surprised to see this.