anchor.diff:      end,
       State.
   
  +-spec initialize(StateForID::acceptor_state(), ETSTableName::atom(),
  +                 PaxosID::any(), Learners::[comm:mypid()]) -> ok.
  +initialize(StateForID, ETSTableName, PaxosID, Learners) ->
  +    NewState = state_set_learners(StateForID, Learners),
  +    pdb:set(NewState, ETSTableName),
  +    case state_accepted(NewState) of
  +        true  -> inform_learners(PaxosID, NewState);
  +        false -> ok
  +    end.
  +
   -spec inform_learners(PaxosID::any(), acceptor_state()) -> ok.
   inform_learners(PaxosID, State) ->
       ?TRACE("acceptor:inform_learners: PaxosID ~p Learners ~p Decision ~p~n",
  
positive.code: -export([check_config/0]).
  
  -include("acceptor_state.hrl").
  
  %% Messages to expect from this module
  -spec msg_ack(comm:mypid(), any(), non_neg_integer(), any(), non_neg_integer())
  
negative.code:             || X <- state_get_learners(State) ],
      ok.
  
  inform_learner(Learner, PaxosID, StateForID) ->
      msg_accepted(Learner, PaxosID,
                   state_get_raccepted(StateForID),
  