Added todos for basic paxos states