+ ltl / 2.