... A then B” is equivalent to “if not A then not B”), ... side (sufficient), a “then” side (necessary), and a way to express ... for adjusting your intuition. And finally, because you ... just sufficients and necessaries, arrows and slashes, contrapositives and other ...