Doubts about PAXOS sequence