paxos: found a bug. but I ham le tirêd.