anchor.diff:  
   is_annotated(#projection_v1{dbg2=Dbg2}) ->
       proplists:get_value(private_proj_is_upi_unanimous, Dbg2, false).
  +
  +make_comparison_stable(P) ->
  +    P#projection_v1{flap=undefined, dbg2=[]}.
  
positive.code: make_zerf2(OldEpochNum, Up, MajoritySize, MyName, AllMembers, OldWitness_list,
             MembersDict, OldFlap, S) ->
      try
          Proj = zerf_find_last_common(MajoritySize, Up, S),
          Proj2 = Proj#projection_v1{flap=OldFlap, dbg2=[]},
          %% io:format(user, "ZERF ~w\n",[machi_projection:make_summary(Proj2)]),
          Proj2
      catch
  
negative.code:         (not lists:member(MyName, P_newprop_upi_ooi++P_newprop_repairing_ooi))
          andalso
          %% My down lists are the same, i.e., no state change to announce
          %% Or if P_current is a CP mode result of zerf_in & valid (epoch #),
          %% then this down list comparison should be skipped.
          ((P_current#projection_v1.down == P_newprop#projection_v1.down)
           orelse
           (CurrentZerfInStatus == CurrentEpoch)),
      ?REACT({b10, ?LINE, [{0,EnoughAreFlapping_and_IamBad_p},
                           {1,inner_projection_exists(P_current)},
                           {2,inner_projection_exists(P_latest)},
                           {3,inner_projection_exists(P_newprop)},
                           {4,MyUniquePropCount},
                           {5,{MyName, P_newprop_AllHosedPlus}},
                           %% {6,UnanimousLatestInnerNotRelevant_p},
                           {7,P_current#projection_v1.down},
                           {8,P_newprop#projection_v1.down},
                           {9,{CurrentZerfInStatus,CurrentEpoch}}]}),
      if
          EnoughAreFlapping_and_IamBad_p ->
              ?REACT({b10, ?LINE, []}),
  