The flow-invariant criterion | Synapse