TOKOK Lists Paxos Standard (PAX)