pr – ltl