anchor.diff:      true.
   
   all_list() ->
  -    [a,b].
  +    [a,b,c].
       %% [a,b,c,d,e].
   
   setup(_Num, Seed) ->
       All_list = all_list(),
       _ = machi_partition_simulator:start_link(Seed, 0, 100),
       _Partitions = machi_partition_simulator:get(All_list),
  -    ?QC_FMT("1st Partitions ~p\n", [_Partitions]),
   
       FLU_pids = [begin
                       {ok, FLUPid} = machi_flu0:start_link(Name),
  
positive.code: 
  dump_state() ->
  %% try
      {FLU_pids, _Mgr_pids} = get(manager_pids_hack),
      Namez = zip(all_list(), FLU_pids),
      ?QC_FMT("dump_state(", []),
      Report = ?MGRTEST:unanimous_report(Namez),
      %% ?QC_FMT("Report ~p\n", [Report]),
  
  
negative.code:         Sane =
            [{FLU,_Bool} = {FLU,?MGR:projection_transitions_are_sane(Ps, FLU)} ||
                {FLU, Ps} <- R_Projs],
  %% ?QC_FMT("Sane ~p\n", [Sane]),
          SaneP = lists:all(fun({_FLU, Bool}) -> Bool end, Sane),
  
          %% The final report item should say that all are agreed_membership.
          {_LastEpoch, {ok_disjoint, LastRepXs}} = lists:last(Report),
  %% ?QC_FMT("LastEpoch=~p,", [_LastEpoch]),
  %% ?QC_FMT("Report ~P\n", [Report, 5000]),
  %% ?QC_FMT("Diag ~s\n", [Diag]),
          AgreedOrNot = lists:usort([element(1, X) || X <- LastRepXs]),
  %% ?QC_FMT("LastRepXs ~p", [LastRepXs]),
          
          %% TODO: Check that we've converged to a single chain with no repairs.
          SingleChainNoRepair = case LastRepXs of
  