User blog comment:DontDrinkH20/Some Explanations of Certain Large Cardinals/@comment-11227630-20181017041904/@comment-11227630-20191109141757

rank-into-rank < ∑2-correct < ∑2-reflecting < unfoldable < strongly unfoldable < strong

by size of the least instance.

(Fixed the problem of the strongly unfoldable, and locate the ∑2-correct)