homotopy
not defined yet