Successor_state loading ...