Strong_limit_cardinal loading ...