anchor.diff:          P_latest#projection.epoch_number < P_current#projection.epoch_number
           orelse
           P_latest /= P_current ->
  +?D({a40,?LINE}),
   
               %% Both of these cases are rare.  Elsewhere, the code
               %% assumes that the local FLU's projection store is always
  
positive.code:                  Rank_newprop, Rank_latest, #ch_mgr{name=MyName}=S) ->
      if
          LatestUnanimousP ->
              react_to_env_C100(P_newprop, P_latest, S);
  
          Retries > 2 ->
  
              %% The author of P_latest is too slow or crashed.
              %% Let's try to write P_newprop and see what happens!
  
negative.code:         (P_newprop#projection.upi /= P_latest#projection.upi
           orelse
           P_newprop#projection.repairing /= P_latest#projection.repairing) ->
  ?D({a40,?LINE}),
              react_to_env_C300(P_newprop, P_latest, S);
  
          %% A40c (see flowchart)
          LatestAuthorDownP ->
  ?D({a40,?LINE}),
  
              %% TODO: I believe that membership in the
              %% P_newprop#projection.down is not sufficient for long
  