Further simplification based on the sort rule