anchor.diff:               if FLUName == c -> io:format(user, "\n", []); true -> ok end
            end || Epoch <- UniquePrivateEs, {FLUName, FLU} <- Namez],
   
  -        R = unanimous_report(Namez),
  -        ?D(R),
  +        Report = unanimous_report(Namez),
  +        ?D(Report),
  +        true = all_reports_are_disjoint(Report),
  +        R_Chains = [extract_chains_relative_to_flu(FLU, Report) ||
  +                       FLU <- All_list],
  +        ?D(R_Chains),
  +        R_Projs = [{FLU, [chain_to_projection(FLU, Epoch, Chain, All_list) ||
  +                             {Epoch, Chain} <- E_Chains]} ||
  +                      {FLU, E_Chains} <- R_Chains],
  +        [{FLU, true} = {FLU, machi_chain_manager0_test:projection_transitions_are_sane(Ps)} || {FLU, Ps} <- R_Projs],
  +        ?D(R_Projs),
   
           ok
       after
  
positive.code:         %% {unanimous,P2,E2} = test_read_latest_public_projection(Ma, false),
  
          machi_partition_simulator:reset_thresholds(10, 50),
          _ = machi_partition_simulator:get([a,b,c]),
  
          Parent = self(),
          DoIt = fun() ->
  
negative.code:     end.
  
  zoof_test() ->
      All_list = [a,b,c],
      machi_partition_simulator:start_link({111,222,333}, 0, 100),
      _ = machi_partition_simulator:get(All_list),
  
      {ok, FLUa} = machi_flu0:start_link(a),
      {ok, FLUb} = machi_flu0:start_link(b),
      {ok, FLUc} = machi_flu0:start_link(c),
      Namez = [{a, FLUa}, {b, FLUb}, {c, FLUc}],
      I_represent = I_am = a,
      {ok, Ma} = ?MGR:start_link(I_represent, All_list, I_am),
      {ok, Mb} = ?MGR:start_link(b, All_list, b),
      {ok, Mc} = ?MGR:start_link(c, All_list, c),
      try
          {ok, P1} = ?MGR:test_calc_projection(Ma, false),
          P1Epoch = P1#projection.epoch_number,
  