A Theory of Non-acyclic Generative Flow Networks | Synapse