dominator >=4, <5