acyclic: without any graph cycles