(Yes, I'm guilty of passing along something incomplete and of utterly unknown provenance that someone saw somewhere and didn't understand. I feel dirty.)
∀t(T(x,t)⟹(¬H(x,t)∨H(x,t+Δt)))
Certainly, without specifying any of the variables, it's got to be useless. At least we can assume t and Δt...