​Single LTL