homonomy
not defined yet