anchor.diff:  
       TentativeUPI = NewUPI_list3,
       TentativeRepairing = Repairing_list5,
  +    ?REACT({calc,?LINE,[{tent, TentativeUPI},{tent_rep, TentativeRepairing}]}),
   
       {NewUPI, NewRepairing} =
  -        if TentativeUPI == [] andalso TentativeRepairing /= [] ->
  +        if (CMode == ap_mode
  +            orelse
  +            (CMode == cp_mode andalso OldEpochNum == 0))
  +           andalso
  +           TentativeUPI == [] andalso TentativeRepairing /= [] ->
                   %% UPI is empty (not including witnesses), so grab
                   %% the first from the repairing list and make it the
                   %% only non-witness in the UPI.
  
positive.code:     {NewUPI_list3, Repairing_list3, RunEnv3} =
          case {NewUp, Repairing_list2} of
              {[], []} ->
                  D_foo=[],
                  {NewUPI_list, [], RunEnv2};
              {[], [H|T]} when RelativeToServer == LastInNewUPI ->
                  %% The author is tail of the UPI list.  Let's see if
  
negative.code:            true ->
                  {TentativeUPI, TentativeRepairing}
          end,
      ?REACT({calc,?LINE,[{new_upi, NewUPI},{new_rep, NewRepairing}]}),
  
      P = machi_projection:new(OldEpochNum + 1,
                               MyName, MembersDict, Down, NewUPI, NewRepairing,
  