anchor.diff:              Maj = config:read(quorum_factor),
               RTMs = tx_state:get_rtms(TxState),
               Role = state_get_role(State),
  -            Accs = rtms_get_accpids(RTMs),
  +            ValidAccs = [ X || X <- rtms_get_accpids(RTMs), unknown =/= X],
               {_, _, ThisRTMsNumber, _} = lists:keyfind(comm:this(), 2, RTMs),
   
               %% add ourselves as learner and
  
positive.code: -type rtm() :: {?RT:key(),
                  comm:mypid() | unknown,
                  Role :: non_neg_integer(),
                  Acceptor :: comm:mypid() | unknown}.
  
  -type rtms() :: [rtm()].
  
  
negative.code:     Tid = tx_state:get_tid(TxState),
      RTMs = tx_state:get_rtms(TxState),
      CleanRTMs = rtms_get_rtmpids(RTMs),
      Accs = [ X || X <- rtms_get_accpids(RTMs), unknown =/= X ],
      TM = comm:this(),
      _ = [ begin
            %% ItemState = lists:keyfind(ItemId, 1, ItemStates),
  