difference_without_domination