... as easily lead to a conclusion of "And they ... the "antithesis" is a lot more specific than generic ... are only a few arguments that produce a negative outcome: ... A->B, ~B, therefore ~A) and what I call a "conditional counterexample (A, ~B, therefore, ~(A->B ...