State of LTL