H
ereditarily
F
inite
HF
Ordinal
Rank
Finite_Automata
Finitary
OrdArith