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: 
  prop_pulse() ->
      ?FORALL({Cmds0, Seed}, {non_empty(commands(?MODULE)), pulse:seed()},
      ?IMPLIES(length(Cmds0) < 5,
      begin
          ok = shutdown_hard(),
          Cmds = Cmds0 ++ [{set,{var,99999998},
                            {call, ?MODULE, do_ticks, [88, undefined, no, no]}},
                           {set,{var,99999999},
                            {call, ?MODULE, dump_state, []}}],
          {_H2, S2, Res} = pulse:run(
                             fun() ->
  
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
  