Searching protocol for "contrapositive"
Reverse assumptions with logical equivalence.
Master proof writing, build flawless mathematical arguments.