HammaD.TN∞ doesn't have any sets.