anchor.diff:                          flap_counts_last=FlapCountsLast,
                           runenv=RunEnv1}=S) ->
       UniqueProposalSummaries = make_unique_proposal_summaries(H, P_newprop),
  -    UniqueProposalSummaries_i = make_unique_proposal_summaries(
  -                                  H_i, inner_projection_or_self(P_newprop)),
  +    MyUniquePropCount = length(UniqueProposalSummaries),
   
       {_WhateverUnanimous, BestP, Props, _S} =
           cl_read_latest_projection(private, S),
  
positive.code:                      {current_epoch, P_current#projection_v1.epoch_number},
                       {latest_unanimous_p, LatestUnanimousP}]}),
  
              %% 1st clause: someone else has written a newer projection
              %% 2nd clause: a network partition has healed, revealing a
              %%             differing opinion.
              react_to_env_B10(Retries, P_newprop, P_latest, LatestUnanimousP,
                               Rank_newprop, Rank_latest, S);
  
  
negative.code:             _Else_u ->
                  false
          end,
      #flap_i{all_hosed=P_newprop_AllHosed,
              my_unique_prop_count=MyUniquePropCount} =
          case P_newprop#projection_v1.flap of undefined -> make_flapping_i();
                                               Flap      -> Flap
          end,
      AllAreFlapping_and_IamBad_p =
          inner_projection_exists(P_current) andalso
          inner_projection_exists(P_latest) andalso
          inner_projection_exists(P_newprop) andalso
          MyUniquePropCount == 1 andalso
          lists:member(MyName, P_newprop_AllHosed),
  
      if
          AllAreFlapping_and_IamBad_p ->
              ?REACT({b10, ?LINE, []}),
  
              %% There's outer flapping happening *and* we ourselves are
              %% definitely flapping (flapping manifesto, starting clause 1)
              %% ... and also we are a member of the all_hosed club.  So, we
              %% should shut up and let someone else do the proposing.
              react_to_env_A50(P_latest, [{muting_myself, true},
                                          {all_hosed, P_newprop_AllHosed}], S);
  
          LatestUnanimousP
          andalso
          UnanimousLatestInnerNotRelevant_p ->
  