lec16 RAFT.pdf