H
ereditarily
F
inite.
O
rd
A
rith
HTML Presentation