dominator >=4