tested MAJ/DOM and ADD/MCD; fuzzy equality is now fuzzier than a teddy bear