anchor.diff:  
       %% 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)}.
  +    S2 = set_proj(S#ch_mgr{proj_history=H2,
  +                           sane_transitions=Xtns + 1}, P_latest),
  +    S3 = case is_annotated(P_latest) of
  +             false ->
  +                 S2;
  +             {{_ConfEpoch, _ConfCSum}, ConfTime} ->
  +io:format(user, "\nCONFIRM debug C120 ~w was annotated ~W outer ~w\n", [S#ch_mgr.name, (inner_projection_or_self(P_latest))#projection_v1.epoch_number, 5, P_latest#projection_v1.epoch_number]),
  +                 S2#ch_mgr{proj_unanimous=ConfTime}
  +         end,
  +    {{now_using, FinalProps, P_latest#projection_v1.epoch_number}, S3}.
   
   add_and_trunc_history(P_latest, H, MaxLength) ->
       H2 = if P_latest#projection_v1.epoch_number > 0 ->
  
positive.code: 
  make_annotation(EpochID, Time) ->
      {private_proj_is_upi_unanimous, {EpochID, Time}}.
  
negative.code:                    members_dict=MembersDict} = P_current,
      P_none = make_none_projection(MyName, All_list, Witness_list,
                                    MembersDict),
  io:format(user, "Debug A49: ~w forced to none\n", [MyName]),
      react_to_env_A50(P_none, FinalProps, set_proj(S, P_none)).
  
  react_to_env_A50(P_latest, FinalProps, #ch_mgr{proj=P_current}=S) ->
      ?REACT(a50),
  