It is definitely a math question. I mentioned the LISP connection in case it helps: you can completely ignore the LISP part if it doesn't help you. In LISP, the graph is typically a DAG, and there is a set $A$ of "atoms" that serve as the out-degree zero vertices of that DAG. Here there is no atoms, so there must be cycles.