1st line is the law of total probability from CT3. 2nd line replaces Y with s - and since now s<x the limits on the integral are changed 3rd line uses the definition of the CDF from CT3 4th line uses the definition of g(s) from earlier in the chapter.
