Nonequilibrium Josephson Effect through Helical Edge States | Synapse