LTLTM view 3