State_formation loading ...