T -> TRUE