simpler category style for Paxos