8.14 Prop for List.sorted