LTL vs FTL