anchor.diff:          Sane =
             [{FLU,_Bool} = {FLU,?MGR:projection_transitions_are_sane(Ps, FLU)} ||
                 {FLU, Ps} <- R_Projs],
  -        ?QC_FMT("Sane ~p\n", [Sane]),
  +%% ?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]),
  +%% ?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]),
  +%% ?QC_FMT("LastRepXs ~p", [LastRepXs]),
           
           %% TODO: Check that we've converged to a single chain with no repairs.
           SingleChainNoRepair = case LastRepXs of
  
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:             ?QC_FMT("Diag = ~s\n", [Diag]),
              ?QC_FMT("Report = ~p\n", [Report]),
              ?QC_FMT("Sane = ~p\n", [Sane]),
              ?QC_FMT("SingleChainNoRepair failure =\n    ~p\n", [SingleChainNoRepair])
          end,
          conjunction([{res, Res == true orelse Res == ok},
                       {all_disjoint, ?MGRTEST:all_reports_are_disjoint(Report)},
  