An 8-flow theorem for signed graphs | Synapse