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:             ?RETURN2(Else)
      end.
  
  projection_transition_is_sane_final_review(_P1, P2,
                                             {expected_author2,UPI1_tail}=Else) ->
      %% Reminder: P1 & P2 are outer projections
      %%
  
negative.code:     S2 = S#ch_mgr{not_sanes=NotSanesDict, sane_transitions=0},
      case orddict:fetch(Author_latest, NotSanesDict) of
          N when N > ?TOO_FREQUENT_BREAKER ->
              ?V("\n\nYOYO ~w breaking the cycle of:\n  current: ~w\n  new    : ~w\n", [MyName, machi_projection:make_summary(S#ch_mgr.proj), machi_projection:make_summary(P_latest)]),
              ?REACT({c100, ?LINE, [{not_sanes_author_count, N}]}),
              react_to_env_C103(P_latest, S2);
          N ->
  