Reorder specification by lambda