User blog comment:Vel!/Ultracardinals/@comment-24509095-20140618154128/@comment-24509095-20140618165737

"The limit of all this is the first hyperultracardinal $$H$$" Intuition first before definition... :P