Interface and sorting refinements