cocircularity
not defined yet