Successor_cardinal loading ...