R._L._Goodstein loading ...