homocycle
not defined yet