anchor.diff:                     exit({line, ?LINE, _Err, _What})
              end,
              io:format(user, "Yay!\n", []),
  +%% io:format(user, "\n\nEXITING!\n\n", []), timer:sleep(500), erlang:halt(0),
              ReportXX = machi_chain_manager1_test:unanimous_report(Namez),
              true = machi_chain_manager1_test:all_reports_are_disjoint(ReportXX),
              io:format(user, "Yay for ReportXX!\n", []),
  
positive.code:     %% [ [{a,b}, {b,a}] ].
  
      [
        [{a,b}, {a,c}], [],
        [{b,a}, {b,c}], [],
        [{c,b}, {c,a}], [],
  
        [{b,a}, {c,a}], [],
        [{a,b}, {c,b}], [],
        [{b,c}, {a,c}]
      ].
  
      %% [ [{a,b},{b,c},{c,a}],
  
negative.code:                    WhoInEpoch = [Name ||
                                    {Name,{Epoch,_UPI,_Rep,_Dn,_W,I_}}<-Private2,
                                    Epoch == UsesEpoch],
                     WhoInEpoch_s = ordsets:from_list(WhoInEpoch),
                     UPI_R_versions = [UPI++Rep ||
                                 {_Name,{Epoch,UPI,Rep,_Dn,_W,I_}}<-Private2,
                                 Epoch == UsesEpoch],
                     UPI_R_vers_s = ordsets:from_list(hd(UPI_R_versions)),
                     UPI_R_versions == [ [] ] % This FLU in minority partition
                     orelse
                     (length(lists:usort(UPI_R_versions)) == 1
                      andalso
                      ordsets:is_subset(UPI_R_vers_s, WhoInEpoch_s))
                    end, FLU_uses),
      %% io:format(user, "\nPriv1 ~P agree ~p\n", [lists:sort(Private1), 14, Unanimous_with_all_peers_p]),
  
      %%io:format(user, "U_UPI_Rs ~p\n", [U_UPI_Rs]),
      %%io:format(user, "FLUs ~p\n", [FLUs]),
  