anchor.diff:      %% inform TPs
       X = [ begin
                 {ok, ItemState} = get_item_entry(ItemId, State),
  -              [ case comm:is_valid(TP) of
  -                    false -> unknown;
  -                    true ->
  -                        msg_tp_do_commit_abort(TP, {PaxId, RTLogEntry,
  -                                                    comm:this(), ItemId},
  -                                               Result), ok
  -                end
  -                || {PaxId, RTLogEntry, TP}
  -                       <- tx_item_state:get_paxosids_rtlogs_tps(ItemState) ]
  +              length(
  +                [ msg_tp_do_commit_abort(TP, {PaxId, RTLogEntry,
  +                                              comm:this(), ItemId},
  +                                         Result)
  +                    || {PaxId, RTLogEntry, TP}
  +                           <- tx_item_state:get_paxosids_rtlogs_tps(ItemState),
  +                       comm:is_valid(TP) ])
             end || {_TLogEntry, ItemId} <- tx_state:get_tlog_txitemids(TxState) ],
  -    Y = [ Z || Z <- lists:flatten(X), Z =:= ok ],
  -    tx_state:set_numinformed(TxState, length(Y)).
  +    tx_state:set_numinformed(TxState, lists:sum(X)).
   
   -spec inform_rtms(tx_state:tx_id(), state(), ?commit | ?abort) -> ok.
   inform_rtms(TxId, State, Result) ->
  
positive.code:             %% add ourselves as learner and
              %% trigger paxos proposers for new round with own proposal 'abort'
              TxItemIDs = [ TxItemId || {_, TxItemId} <- tx_state:get_tlog_txitemids(TxState)],
              [ begin
                    {_, ItemState} = get_item_entry(ItemId, State),
                    case tx_item_state:get_decided(ItemState) of
                        false ->
                            GLLearner = state_get_gllearner(State),
  %%                          ct:pal("initiating proposer~n"),
                            [ begin
                                  learner:start_paxosid(GLLearner, PaxId, Maj,
  
negative.code:                                                 {acceptor_add_learner,
                                                   PaxId, GLLearner})
                                        || X <- ValidAccs],
                                  proposer:start_paxosid(
                                    Proposer, PaxId, _Acceptors = ValidAccs, ?abort,
                                    Maj, length(ValidAccs) + 1, ThisRTMsNumber),
  