Infinite_regress_argument loading ...