function Comparison.dominates