Naturally_isomorphic loading ...