Blue points represent the spin period of the recycled pulsars in DNS systems as a function of their orbital period. PSR J1411+2551 is represented by the red star. The gray line represents Equation (4). For a detailed discussion, see Tauris et al. (2017).