User blog comment:King2218/FGH Things/@comment-24509095-20140305140305

Do note that the hierarchy ordinals are the smallest ordinals satisfying the properties given after their definition. :)