x_is_T