theorem :: CLASSES2:64

FinSETS = Rank omega