anchor.diff:                                        || X <- ValidAccs],
                                   proposer:start_paxosid(
                                     Proposer, PaxId, _Acceptors = ValidAccs, ?abort,
  -                                  Maj, MaxProposers, ThisRTMsNumber),
  +                                  Maj, MaxProposers, _InitialRound = ThisRTMsNumber),
                                   ok
                               end
                               || {PaxId, _RTLog, _TP}
  
positive.code:                 false ->
                      log:log(warn, "Cannot discover my comm:this().~n");
                  true ->
                      {_, _, ThisRTMsNumber, _} = lists:keyfind({This}, 2, RTMs),
  
              %% add ourselves as learner and
              %% trigger paxos proposers for new round with own proposal 'abort'
  
negative.code: % @copyright 2009-2014 Zuse Institute Berlin,
  
  %   Licensed under the Apache License, Version 2.0 (the "License");
  %   you may not use this file except in compliance with the License.
  