tfltl fltl ltl tll