Re: [math-fun] Subset-lex: did we miss an order?