homotopic

not defined yet