fix
rename
add test of paxos
refactoring