Supercompact_cardinal loading ...