acyclic
not defined yet