RM is now alpha-sorted