dominator[full] >=4