Added PaxosState