T -> t