Add explanatory comment to `dominates` for posterity