dominator[full] >=9