Do neutron star binary systems come from previously active-star binaries, where where both stars have gone supernova and left behind neutron stars that are still in orbit? Or do they form when two previously unbound neutron stars approach each other and fall into orbit?