Think of better names for "sorted" and "user"

@mattwala complained.