anchor.diff:      case NewFact#fact.epoch >= Epoch of
           true ->
               reply(From, ok, State),
  +            lager:debug("~p: accepting commit from ~p for epoch ~p",
  +                        [State#state.id, From, NewFact#fact.epoch]),
               State2 = local_commit(NewFact, State),
               State3 = cancel_timer(State2),
               following(init, State3);
           false ->
  +            lager:debug("~p: ignoring outdated commit from ~p (~p < ~p)",
  +                        [State#state.id, From, NewFact#fact.epoch, Epoch]),
               {next_state, pending, State}
       end;
   pending(Msg, State) ->
  
positive.code: 
  -spec probe(_, state()) -> next_state().
  probe(init, State) ->
      ?OUT("~p: probe~n", [State#state.id]),
      State2 = set_leader(undefined, State),
      case is_pending(State2) of
          true ->
  
negative.code: %%%===================================================================
  
  repair(init, State=#state{tree=Tree}) ->
      lager:debug("~p: repair", [State#state.id]),
      riak_ensemble_peer_tree:async_repair(Tree),
      {next_state, repair, State#state{tree_trust=false}};
  repair(repair_complete, State) ->
  