Kepler
Si certus es dubita
Except that everybody saw Die Hard in the theater.
I knew when I wrote it somebody was going to miss the point this way, but I'm too tired to point out the logic error. Or you're trolling. Anyway, somebody else please do the ∀x(P(x)⇒Q(x)) or whatever it is, or I'll figure it out tomorrow.