"$M$ on input $\langle M\rangle, x$, for every $x$ long enough, leads to a contradiction."
"We could try the same with NP, and define $L$ to contain pairs $ (\langle T\rangle, x) $ such that $T$ is a non-deterministic Turing machine that has no accepting path of length $\leq"
"\psi ({\vec r}, ~t) ~ = ~\langle {\vec r} | \psi (t) \rangle, here nonrelativistic, which obeys wave equations."