LTL is following