anchor.diff:              ?QC_FMT("Diag = ~s\n", [Diag]),
               ?QC_FMT("Report = ~p\n", [Report]),
               ?QC_FMT("Sane = ~p\n", [Sane]),
  -            ?QC_FMT("SingleChainNoRepair = ~p\n", [SingleChainNoRepair])
  +            ?QC_FMT("SingleChainNoRepair failure =\n    ~p\n", [SingleChainNoRepair])
           end,
           conjunction([{res, Res == true orelse Res == ok},
                        {all_disjoint, ?MGRTEST:all_reports_are_disjoint(Report)},
  
positive.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
  
negative.code: 
  dump_state() ->
  %% try
      ?QC_FMT("dump_state(", []),
      {FLU_pids, _Mgr_pids} = get(manager_pids_hack),
      Namez = zip(all_list(), FLU_pids),
      Report = ?MGRTEST:unanimous_report(Namez),
      %% ?QC_FMT("Report ~p\n", [Report]),
  
  