dominates

not defined yet