* More TL conversion rules