anchor.diff:      gen_server:cast(Pid, {test_calc_proposed_projection}).
   
   test_read_latest_public_projection(Pid, ReadRepairP) ->
  -    gen_server:call(Pid, {test_read_latest_public_projection, ReadRepairP}, infinity).
  +    gen_server:call(Pid, {test_read_latest_public_projection, ReadRepairP},
  +                    infinity).
   
   test_react_to_env(Pid) ->
       gen_server:call(Pid, {test_react_to_env}, infinity).
  
positive.code: 
  react_to_env_C100(P_newprop, P_latest,
                    #ch_mgr{myflu=MyFLU, proj=P_current}=S) ->
      put(react, [c100|get(react)]),
      I_am_UPI_in_newprop_p = lists:member(MyFLU, P_newprop#projection.upi),
      I_am_Repairing_in_latest_p = lists:member(MyFLU, P_latest#projection.repairing),
      ShortCircuit_p =
          P_latest#projection.epoch_number > P_current#projection.epoch_number
          andalso
  
negative.code:     react_to_env_A10(S).
  
  react_to_env_A10(S) ->
      ?REACT(a10),
      react_to_env_A20(0, S).
  
  react_to_env_A20(Retries, #ch_mgr{myflu=MyFLU} = S) ->
      ?REACT(a20),
      RelativeToServer = MyFLU,
      {P_newprop, S2} = calc_projection(S, RelativeToServer,
                                        [{author_proc, react}]),
      react_to_env_A30(Retries, P_newprop, S2).
  
  react_to_env_A30(Retries, P_newprop, S) ->
      ?REACT(a30),
      {UnanimousTag, P_latest, ReadExtra, S2} =
          do_cl_read_latest_public_projection(true, S),
  
      %% The UnanimousTag isn't quite sufficient for our needs.  We need
      %% to determine if *all* of the UPI+Repairing FLUs are members of
      %% the unanimous server replies.
      UnanimousFLUs = lists:sort(proplists:get_value(unanimous_flus, ReadExtra)),
      UPI_Repairing_FLUs = lists:sort(P_latest#projection.upi ++
                                      P_latest#projection.repairing),
  