paxos: simplest case is groovy