Dominator problem