What would a hypothetical rule look like if we supported dynamic sorting?