LTL view 1