@robinhouston I'm currently on a beach, but later on I want to check if the ShortLex ordering of the naturals by Roman representation is in