Results for assuming dominator numericumericumericumeric