LTL efficiency