anchor.diff:      Sane = projection_transition_is_sane(P_current, P_latest, MyName),
       QQ_current = lists:flatten(io_lib:format("~w:~w,~w/~w:~w,~w", [P_current#projection_v1.epoch_number, P_current#projection_v1.upi, P_current#projection_v1.repairing, (inner_projection_or_self(P_current))#projection_v1.epoch_number, (inner_projection_or_self(P_current))#projection_v1.upi, (inner_projection_or_self(P_current))#projection_v1.repairing])),
       QQ_latest = lists:flatten(io_lib:format("~w:~w,~w/~w:~w,~w", [P_latest#projection_v1.epoch_number, P_latest#projection_v1.upi, P_latest#projection_v1.repairing, (inner_projection_or_self(P_latest))#projection_v1.epoch_number, (inner_projection_or_self(P_latest))#projection_v1.upi, (inner_projection_or_self(P_latest))#projection_v1.repairing])),
  -    if Sane == true -> ok;  true -> ?V("\n~w-insane-~w-auth=~w ~s -> ~s ~w\n    ~p\n", [?LINE, MyName, P_newprop#projection_v1.author_server, QQ_current, QQ_latest, Sane, get(react)]) end,
  +    if Sane == true -> ok;  true -> ?V("\n~w-insane-~w-auth=~w ~s -> ~s ~w\n    ~p\n    ~p\n", [?LINE, MyName, P_newprop#projection_v1.author_server, QQ_current, QQ_latest, Sane, get(why2), get(react)]) end,
       Flap_latest = if is_record(Flap_latest0, flap_i) ->
                             Flap_latest0;
                        true ->
  
positive.code:     end.
  
  a30_make_inner_projection(P_current, P_newprop3, P_latest, Up,
                            #ch_mgr{name=MyName, consistency_mode=CMode} = S) ->
      AllHosed = get_all_hosed(P_newprop3),
      NewPropDown = if P_newprop3#projection_v1.upi == [] ->
                            %% This is a none proj, don't believe down list
  
negative.code:                     ordsets:is_disjoint(
                        ordsets:from_list(UPI_current_x ++ Repairing_current_x),
                        ordsets:from_list(UPI_latest_i ++ Repairing_latest_i)),
                  ?REACT({a30, ?LINE,
                      [{latest_same_enough,LatestSameEnough_p},
                        {current_has_inner_p,P_current_has_inner_p},
                        {current_hialid,CurrentHasInner_and_LatestIsDisjoint_p}]}),
                  if LatestSameEnough_p ->
                          ?REACT({a30, ?LINE, []}),
                          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 ->
  