Virtually rank-into-rank cardinals are virtually n-huge* limits of virtually n-huge* cardinals for every n<ω; virtually n-huge* cardinals form a hierarchy, and a virtually huge* cardinal implies the consistency of a proper class of virtually extendible cardinals; finally the virtually extendible...