mutually_unequal() -> all_unique()