Oh, this was supposed to be down a few lines (where m->version != paxos->get_version). That can't happen if the originator is a healthy leader, can it?