anchor.diff:                  false ->
                       log:log(warn, "Cannot discover my comm:this().~n");
                   true ->
  -                    {_, _, ThisRTMsNumber, _} = lists:keyfind({This}, 2, RTMs),
  +                    ThisRTMsNumber =
  +                        case Role of
  +                            tx_rtm0 -> 1;
  +                            tx_rtm1 -> 2;
  +                            tx_rtm2 -> 3;
  +                            tx_rtm3 -> 4
  +                        end,
   
               %% add ourselves as learner and
               %% trigger paxos proposers for new round with own proposal 'abort'
  
positive.code:                                       || X <- ValidAccs],
                                  proposer:start_paxosid(
                                    Proposer, PaxId, _Acceptors = ValidAccs, ?abort,
                                    Maj, MaxProposers, ThisRTMsNumber),
                                  ok
                              end
                              || {PaxId, _RTLog, _TP}
  
negative.code: %   See the License for the specific language governing permissions and
  %   limitations under the License.
  
  %% @author Florian Schintke <schintke@zib.de>
  %% @doc Part of a generic implementation of transactions using Paxos Commit -
  %%      the roles of the (replicated) transaction manager TM and RTM.
  %% @end
  