anchor.diff:                            NewUp -> Repairing_list3 ++ NewUp
                         end,
       Repairing_list5 = Repairing_list4 -- Down,
  +
  +    TentativeUPI = NewUPI_list3,
  +    TentativeRepairing = Repairing_list5,
  +
  +    {NewUPI, NewRepairing} =
  +        if TentativeUPI == [] andalso TentativeRepairing /= [] ->
  +                [FirstRepairing|TailRepairing] = TentativeRepairing,
  +                {[FirstRepairing], TailRepairing};
  +           true ->
  +                {TentativeUPI, TentativeRepairing}
  +        end,
  +
       P = make_projection(OldEpochNum + 1,
  -                        MyName, All_list, Down, NewUPI_list3, Repairing_list5,
  +                        MyName, All_list, Down, NewUPI, NewRepairing,
                           Dbg ++ [{nodes_up, Up}]),
  +    if P#projection.upi == [] -> io:format(user, "old: ~w\n", [make_projection_summary(LastProj)]), io:format(user, "new: ~w\n", [make_projection_summary(P)]), exit(zoozoo); true -> ok end,
       {P, S#ch_mgr{runenv=RunEnv3}}.
   
   calc_up_nodes(#ch_mgr{name=MyName, proj=Proj, runenv=RunEnv1}=S) ->
  
positive.code:                             %% both, then those authors would not have allowed
                              %% a bad transition, so we will assume this
                              %% transition is OK.
  ?D(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),
                              lists:member(AuthorServer1, UPI_list1)
                              andalso
                              lists:member(AuthorServer2, UPI_list2)
  
negative.code:                                                   erlang:yield(),
                                                    Res = test_react_to_env(MMM),
                                                    Res=Res %% ?D({self(), Res})
                                                end || _ <- lists:seq(1,10)],
                                               Parent ! done
                                       end) || MMM <- [Ma, Mb, Mc] ],
                         [receive
  