weakly
inaccessible
ordinal
number