anchor.diff:      ?REACT({c310, ?LINE,
               [{newprop, machi_projection:make_summary(P_newprop)},
               {write_result, WriteRes}]}),
  -%%    io:format(user, "HEE310 ~w ~w ~w\n", [S#ch_mgr.name, self(), lists:reverse(get(react))]),
       react_to_env_A10(S2).
   
   calculate_flaps(P_newprop, _P_current, _FlapLimit,
  
positive.code:                                           dbg=ClauseInfo++ClauseInfo2}),
              ReactI = [{inner2b,machi_projection:make_summary(P_inner2B)}],
              ?REACT({a30, ?LINE, ReactI}),
  io:format(user, "HEE30 ~w ~w ~P\n", [S#ch_mgr.name, self(), get(react), 250]), timer:sleep(100),
              react_to_env_C100(P_inner2B, P_latest, S);
         true ->
              ?REACT({a30, ?LINE, []}),
  
negative.code:     ?REACT(c100),
  
      Sane = projection_transition_is_sane(P_current, P_latest, MyName),
      case Sane of
          _ when P_current#projection_v1.epoch_number == 0 ->
              %% Epoch == 0 is reserved for first-time, just booting conditions.
  