S0_First Session LTL Reading Note.pdf