anchor.diff:          true ->
   
               %% P_newprop is best, so let's write it.
  -            react_to_env_C300(P_newprop, S)
  +            react_to_env_C300(P_newprop, P_latest, S)
       end.
   
   react_to_env_C100(P_newprop, P_latest,
  
positive.code: 
              %% The author of P_latest is too slow or crashed.
              %% Let's try to write P_newprop and see what happens!
              react_to_env_C300(P_newprop, S);
  
          Rank_latest >= Rank_newprop
          andalso
  
negative.code: 
          %% A40a (see flowchart)
          Rank_newprop > Rank_latest ->
              react_to_env_C300(P_newprop, P_latest, S);
  
          %% A40b (see flowchart)
          P_latest#projection.author_server == MyFLU
  