Is the optimisation worth keeping if you just change these lines to strict_descends? Frankly, this is what I always thought `dominates` meant...