LTL view 2