anchor.diff:                              %% both, then those authors would not have allowed
                               %% a bad transition, so we will assume this
                               %% transition is OK.
  -%% ?D(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa), timer:sleep(200),
                               lists:member(AuthorServer1, UPI_list1)
                               andalso
                               lists:member(AuthorServer2, UPI_list2)
  
positive.code:             ok
      end,
  
      %% Proj = S#ch_mgr.proj, if Proj#projection.epoch_number >= 7 -> ?Dw({Rank_newprop,Rank_latest}); true -> ok end,
  
      if
          P_latest#projection.epoch_number > P_current#projection.epoch_number
          orelse
          not LatestUnanimousP ->
              put(react, [{a40, ?LINE, P_latest#projection.epoch_number > P_current#projection.epoch_number, not LatestUnanimousP}|get(react)]),
  
  ?D({a40,?LINE}),
  ?D(P_latest#projection.epoch_number),
  ?D(P_current#projection.epoch_number),
  ?D(LatestUnanimousP),
  
              %% 1st clause: someone else has written a newer projection
              %% 2nd clause: a network partition has healed, revealing a
              %%             differing opinion.
  
negative.code:             UPI_2_suffix_from_Repairing1 = [X || X <- UPI_2_suffix,
                                                   lists:member(X, Repairing_list1)],
              %% true?
              UPI_2_suffix = UPI_2_suffix_from_UPI1 ++ UPI_2_suffix_from_Repairing1,
              ok
      end,
  