Removed paxos.py