Added the LTL formula required by the question 2, chapter 15 Lee and Seshia