acyclically
not defined yet