define T~X, filling in a todo