Restaurants in Paxos