ltlintro