LTL Vs. FTL