We give sharp integrability conditions on the distortion function of a homeomorphism $f$ of finite distortion, under which $f$ induces a composition operator between two Sobolev spaces.