Do you recognize proof by reductio ad absurdum?

You would like to prove S. You assume not-S, and if not-S implies a contradiction of the form A and not-A, then S is true.

__________________
You don't need a weatherman to know which way the wind blows - Robert A. Zimmerman