Leko says to YSITD
理論上 Set 是 unordered