Inverse scattering transform for the focusing nonlinear Schrödinger equation with nonzero boundary conditions | Synapse