anchor.diff:                               LatestUnanimousP, S10)
       end.
   
  +a40_latest_author_down(#projection_v1{author_server=LatestAuthor}=_P_latest,
  +                       #projection_v1{upi=[], repairing=[],
  +                                      all_members=AllMembers}=_P_newprop,
  +                       #ch_mgr{name=MyName, runenv=RunEnv}) ->
  +    %% P_newprop is the none projection.  P_newprop's down list is
  +    %% bogus, we cannot use it here.
  +    {Up, _Partitions, _RunEnv2} = calc_up_nodes(MyName, AllMembers, RunEnv),
  +    ?REACT({a40,?LINE,[{latest_author,LatestAuthor}, {up,Up}]}),
  +    lists:member(LatestAuthor, Up);
  +a40_latest_author_down(#projection_v1{author_server=LatestAuthor}=_P_latest,
  +                       #projection_v1{down=NewPropDown}=_P_newprop, _S) ->
  +    lists:member(LatestAuthor, NewPropDown).
  +
   react_to_env_A40(Retries, P_newprop, P_latest, LatestUnanimousP,
                    #ch_mgr{name=MyName, proj=P_current}=S) ->
       ?REACT(a40),
       [{Rank_newprop, _}] = rank_projections([P_newprop], P_current),
       [{Rank_latest, _}] = rank_projections([P_latest], P_current),
  -    LatestAuthorDownP = lists:member(P_latest#projection_v1.author_server,
  -                                     P_newprop#projection_v1.down)
  -        andalso P_latest#projection_v1.author_server /= MyName,
  +    LatestAuthorDownP = a40_latest_author_down(P_latest, P_newprop, S)
  +                        andalso
  +                        P_latest#projection_v1.author_server /= MyName,
   
       if
           %% Epoch == 0 is reserved for first-time, just booting conditions.
  
positive.code:          end,
      P3 = machi_projection:update_checksum(
             P2#projection_v1{witnesses=OldWitness_list}),
      {P3, S#ch_mgr{runenv=RunEnv3}}.
  
  check_latest_private_projections_same_epoch(FLUs, MyProj, Partitions, S) ->
      %% NOTE: The caller must provide us with the FLUs list for all
  
negative.code:     Proj = machi_projection:update_checksum(
               Proj1#projection_v1{epoch_number=CurrentEpoch}),
  
      RunEnv = [{seed, Opt(seed, now())},
                {use_partition_simulator, Opt(use_partition_simulator, false)},
                {simulate_repair, Opt(simulate_repair, true)},
  