[VirusNewbie]

It seems to be ignoring β-reduction for one.

But an ordered set is fundamentally different than an unordered set as well!