anchor.diff:      ?REACT({a30, ?LINE, ClauseInfo}),
       MoveToNorm_p = MoveFromInnerToNorm_p orelse Kicker_p,
       if MoveToNorm_p,
  -       P_newprop10#projection_v1.upi == [],
  +       P_newprop11#projection_v1.upi == [],
          CMode == cp_mode ->
               %% Too much weird stuff may have hapened while we were suffering
               %% the flapping/asymmetric partition ... but we are now proposing
  
positive.code:                                     {flap_limit, FlapLimit}]}),
                  {P_newprop3, S3}
          end,
      ?REACT({a30, ?LINE, [{newprop10, machi_projection:make_summary(P_newprop10)}]}),
  
      %% Here's a more common reason for moving from inner projection to
      %% a normal projection: the old proj has an inner but the newprop
      %% does not.
      MoveFromInnerToNorm_p =
          case {inner_projection_exists(P_current),
                inner_projection_exists(P_newprop10)} of
              {true, false} -> true;
              {_, _}        -> false
          end,
  
      %% If P_current says that we believe that we're currently flapping,
      %% and if P_newprop10 says that we're no longer flapping, then we
      %% really ought to stop flapping, right.
      %%
      %% Not quite so simple....
  
negative.code:             react_to_env_A40(Retries, P_o, P_latest, LatestUnanimousP, S_o);
         true ->
              ?REACT({a30, ?LINE, []}),
              react_to_env_A40(Retries, P_newprop11, P_latest,
                               LatestUnanimousP, S10)
      end.
  
  