LTLTM view 2