No_miracles_argument loading ...