LTLTM view 1