liftDensity is merely a section, not an isomorphism