Perhaps "[$T$ has witnesses][1]"?


  [1]: https://en.wikipedia.org/wiki/Witness_(mathematics)