"ltl" . . . "ltl" .