@aljoscha sorry! I got some neurons crossed there, when I said "lexiographic order" I should have said "insertion order", I was pretty sleep deprived when I wrote that