anchor.diff:                        ordsets:from_list(UPI_latest_i ++ Repairing_latest_i)),
                   if SameEnough_p ->
                           ?REACT({a30, ?LINE, []}),
  -                        P_latest_i;
  +                        case P_current_has_inner_p andalso
  +                            (UPI_current_x /= P_i3#projection_v1.upi orelse
  +                            Repairing_current_x /= P_i3#projection_v1.repairing)
  +                        of
  +                            true ->
  +                                %% Current proj is inner *and* our new
  +                                %% proposed inner proj differs substantially
  +                                %% from the current.  Don't use latest or
  +                                %% current.
  +                                false;
  +                            false ->
  +                                P_latest_i
  +                            end;
                      CurrentHasInner_and_LatestIsDisjoint_p ->
                           ?REACT({a30, ?LINE, []}),
                           P_current_ios;
  
positive.code:     NewUPI_list =
          [X || X <- OldUPI_list, lists:member(X, Up) andalso
                                  not lists:member(X, OldWitness_list)],
      #projection_v1{upi=CurrentUPI_list} = CurrentProj,
      LastInCurrentUPI = case CurrentUPI_list of
                             []    -> does_not_exist_because_upi_is_empty;
                             [_|_] -> lists:last(CurrentUPI_list)
                         end,
      LastInNewUPI = case NewUPI_list of
                         []    -> does_not_exist_because_upi_is_empty;
                         [_|_] -> lists:last(NewUPI_list)
                     end,
      Repairing_list2 = [X || X <- OldRepairing_list,
                              lists:member(X, Up),
                              not lists:member(X, OldWitness_list)],
  
negative.code:             {[], []} ->
                  D_foo=[d_foo1],
                  {NewUPI_list, [], RunEnv2};
              {[], [H|T]} when RelativeToServer == RepChk_LastInUPI ->
                  %% The author is tail of the UPI list.  Let's see if
                  %% *everyone* in the UPI+repairing lists are using our
                  %% projection.  This is to simulate a requirement that repair
  