anchor.diff:              ?REACT({a30, ?LINE, []}),
               %% TODO: It seems a bit crazy, but this duplicates part/much
               %%       of what state C103 does?  Go to C103 instead?
  -            react_to_env_C100(P_newprop10, P_newprop10, S);
  +            react_to_env_C100(P_newprop11, P_newprop11, S);
          MoveToNorm_p, CMode == cp_mode ->
               %% Too much weird stuff may have hapened while we were suffering
               %% the flapping/asymmetric partition.  Fall back to the none
  
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({a30, ?LINE, ClauseInfo}),
      MoveToNorm_p = MoveFromInnerToNorm_p orelse Kicker_p,
      if MoveToNorm_p,
         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
  