Regular_cardinal loading ...