Erdős_cardinal loading ...