LTL + FTL