“If anything is possible, then it is possible to prove that something is impossible. And if it is possible to prove that something is impossible, then necessarily, something is impossible.”

— Roy Sorensen, Vagueness and Contradiction, 2001