anchor.diff:      {noreply, State};
   
   handle_info({'EXIT', From, Reason},
  -            #state{active=Active0,
  +            #state{myself=Myself,
  +                   active=Active0,
                      passive=Passive0,
                      connections=Connections0}=State0) ->
       lager:info("connection pid ~p died due to ~p",
  
positive.code:     end.
  
  %% @private
  move_random_peer_from_passive_to_active(
          #state{myself=Myself0,
                 active=Active0,
                 passive=Passive0,
                 tag=Tag0,
                 connections=Connections0,
                 recv_message_map=RecvMessageMap0}=State0) ->
      %% Select random peer from passive view, and attempt to connect it.
      case select_random(Passive0, [Myself0]) of
          undefined ->
              State0;
          Random ->
              lager:info("Node ~p sends the NEIGHBOR_REQUEST to ~p", [Myself0, Random]),
  
              Exchange0 = %% Myself.
                          [Myself0] ++
  
                          % Random members of the active list.
                          select_random_sublist(Active0, k_active()) ++
  
                          %% Random members of the passive list.
                          select_random_sublist(Passive0, k_passive()),
  
              Exchange = lists:usort(Exchange0),
  
              %% Trigger connection.
              Connections = maybe_connect(Random, Connections0),
  
              LastDisconnectId = get_current_id(Random, RecvMessageMap0),
              do_send_message(
                  Random,
                  {neighbor_request, Myself0, high, Tag0, LastDisconnectId, Exchange},
                  Connections),
  
              State0#state{connections=Connections}
      end.
  
  %% @private
  schedule_random_promotion() ->
  
negative.code: 
              State = case sets:size(Active) == 1 of
                          true ->
                              RandomPeer = select_random(Passive, [Myself0]),
                              lager:info("Node ~p is isolated, moving random peer ~p from passive "
                                         "to active view",
                                         [RandomPeer, Myself0]),
                              move_peer_from_passive_to_active(RandomPeer,
                                  State1#state{connections=Connections,
                                               recv_message_map=RecvMessageMap});
                          false ->
  