ltl % 1 1*