anchor.diff:  handle_call({send_message, Name, Message}, _From,
               #state{connections=Connections}=State) ->
       Result = do_send_message(Name, Message, Connections),
  +    {reply, Result, State};
  +
  +handle_call({forward_message, Name, ServerRef, Message}, _From,
  +            #state{connections=Connections}=State) ->
  +    Result = do_send_message(Name,
  +                             {forward_message, ServerRef, Message},
  +                             Connections),
       {reply, Result, State};
   
   handle_call({receive_message, Message}, _From, State) ->
  
positive.code:          update_state/1,
           delete_state/0,
           send_message/2,
           receive_message/1]).
  
  %% gen_server callbacks
  
negative.code: 
              Merged
      end,
      {reply, ok, State#state{membership=NewMembership}};
  handle_message({forward_message, ServerRef, Message}, State) ->
      gen_server:cast(ServerRef, Message),
      {reply, ok, State}.
  
  %% @private
  schedule_gossip() ->
  