Because the implication is bidirectional in biconditional statement, it violates our acyclicity requirement in §3.1.
since the auxiliary neuron state does not depend on any other nodes, we can still create an acyclic sub-graph by defining the new node to be the distance function itself.