Reduction criterion for separability | Synapse