anchor.diff:          (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
  -        P_current#projection_v1.down == P_newprop#projection_v1.down,
  +        %% 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}]}),
  +                         %% {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, []}),
  
positive.code:         andalso
          (P_latest#projection_v1.epoch_number < P_current#projection_v1.epoch_number
           orelse
           P_latest /= P_current) ->
              ?REACT({a40, ?LINE,
                      [{latest_epoch, P_latest#projection_v1.epoch_number},
                       {current_epoch, P_current#projection_v1.epoch_number},
  
negative.code: 
  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=[]}.
  