anchor.diff:       if AmFlapping_p ->
                S2;
           true ->
  -             clear_flapping_state(S2)
  +             clear_most_flapping_state(S2)
        end}.
   
   make_flapping_i() ->
  
positive.code:     NewUPI_list =
          [X || X <- OldUPI_list, lists:member(X, Up) andalso
                                  not lists:member(X, OldWitness_list)],
      #projection_v1{upi=CurrentUPI_list} = CurrentProj,
      LastInCurrentUPI = case CurrentUPI_list of
                             []    -> does_not_exist_because_upi_is_empty;
                             [_|_] -> lists:last(CurrentUPI_list)
                         end,
      LastInNewUPI = case NewUPI_list of
                         []    -> does_not_exist_because_upi_is_empty;
                         [_|_] -> lists:last(NewUPI_list)
                     end,
      Repairing_list2 = [X || X <- OldRepairing_list,
                              lists:member(X, Up),
                              not lists:member(X, OldWitness_list)],
  
negative.code:     end.
  
  clear_flapping_state(S) ->
      S2 = clear_most_flapping_state(S),
      S#ch_mgr{not_sanes=orddict:new()}.
  
  clear_most_flapping_state(S) ->
      S#ch_mgr{flap_count=0,
               flap_start=?NOT_FLAPPING_START,
               %% Do not clear flap_last_up.
               flap_counts_last=[]}.
  
  full_majority_size(N) when is_integer(N) ->
      (N div 2) + 1;
  