Solve lt_trans''