The Marksmith AU

The proof method you didn't choose

You start proving before deciding how.

The statement's shape names the method. "If P then Q" allows direct or contrapositive — assume $\neg Q$, deduce $\neg P$. "No such thing exists" suits contradiction. "Not all …" needs a counterexample.

Next time: Name the method and write the full negation first.

Try it: Work one on a block