Perhaps "$T$ has witnesses"?. See [here][1]. [1]: https://en.wikipedia.org/wiki/Witness_(mathematics)