diffeomorphic
not defined yet