Update paxos_study.txt