I thought so, but then those examples failed at random, so added `sorted()` make them pass (until this is resolved properly).