anchor.diff:      case {?FLU_PC:write_projection(MyNamePid, private, P_latest2,?TO*30),Goo} of
           {ok, Goo} ->
               ?REACT({c120, [{write, ok}]}),
  -            perhaps_verbose_c110(P_latest2, S),
               %% We very intentionally do *not* pass P_latest2 forward:
               %% we must avoid bloating the dbg2 list!
  -            react_to_env_C120(P_latest, [], S);
  +            P_latest_perhaps_annotated =
  +                machi_projection:update_dbg2(P_latest, Extra1),
  +            perhaps_verbose_c110(P_latest_perhaps_annotated, S),
  +            react_to_env_C120(P_latest_perhaps_annotated, [], S);
           {{error, bad_arg}, _Goo} ->
               ?REACT({c120, [{write, bad_arg}]}),
   
  
positive.code: 
      %% diversion_c120_verbose_goop(P_latest, S),
      ?REACT({c120, [{latest, machi_projection:make_summary(P_latest)}]}),
      {{now_using, FinalProps, P_latest#projection_v1.epoch_number},
       set_proj(S#ch_mgr{proj_history=H2,
                         sane_transitions=Xtns + 1}, P_latest)}.
  
  add_and_trunc_history(P_latest, H, MaxLength) ->
      H2 = if P_latest#projection_v1.epoch_number > 0 ->
  
negative.code:                   runenv=RunEnv1} = S) ->
      {Up, _Partitions, _RunEnv2} = calc_up_nodes(MyName,
                                                  AllMembers, RunEnv1),
      (catch put(yyy_hack, [{up,Up}|get(yyy_hack)])),
      MajoritySize = full_majority_size(AllMembers),
      case length(Up) >= MajoritySize of
          false ->
  