vpltl pltl ltl tll