TS(X)
TS(X)